Steve Awody, 岸田功平; "位相と様相 1階様相論理への拡張"